画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明：A:A是重言式 B:A不是重言式 C:A是可满足式 D:A是矛盾式答案: A是可满足式

点击这里，查看本门网课答案

画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明：A:A是重言式 B:A不是重言式 C:A是可满足式 D:A是矛盾式 答案: A是可满足式